EVal\_to\_ES\{i:l\}($e$,$p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{EVal{-}to{-}ES:ObjectId, 1:l, i:l\}($e$,$p$)